منابع مشابه
Compositional Operational Semantics of a UML-Kernel-Model Language
It is important to have a formal semantics for the objectoriented modelling language UML. Furthermore, it would be fine to have a compositional semantics in order to model open distributed systems and component-based systems. For this reason we present a compositional operational semantics for the state machines associated to a class diagram. We first describe the meaning of objects, then the m...
متن کاملThe Metamodelling Language Calculus: Foundation Semantics for UML
The Metamodelling Language (MML) is a sub-set of the Unified Modeling Language (UML) that is proposed as the core language used to bootstrap the UML 2.0 definition initiative. Since it is metacircular, MML requires an external formal semantics in order to ground it. This paper defines the MML Calculus which is used to formally define MML and therefore provides a semantic basis for UML 2.0.
متن کاملFormal Action Semantics for a UML Action Language
The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework. However UML’s dynamic semantics, such as UML Precise Action Semantics and the behaviors like activities, interactions and state machines, are only standardized in a natural language—English. It is commonly argued that such in...
متن کاملUML 2 Semantics Symposium: Formal Semantics for UML
The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback from an audience of experts was the opportunity to invite researchers in the field to discuss their own work related to a formal semantics for the Unified Modeling Language. This symposium is a follow-on to our ...
متن کاملFormal Semantics for UML
The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback from an audience of experts was the opportunity to invite researchers in the field to discuss their own work related to a formal semantics for the Unified Modeling Language. This symposium is a follow-on to our ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2011
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-011-0210-3